Congruences for Fourier coefficients of half-integral weight modular forms and special values of L-functions
Identifieur interne : 001B09 ( Main/Exploration ); précédent : 001B08; suivant : 001B10Congruences for Fourier coefficients of half-integral weight modular forms and special values of L-functions
Auteurs : Antal Balog [Hongrie] ; Henri Darmon [Canada, États-Unis] ; Ken Ono [États-Unis]Source :
- Progress in Mathematics ; 1996.
Abstract
Abstract: Congruences for Fourier coefficients of integer weight modular forms have been the focal point of a number of investigations. In this note we shall exhibit congruences for Fourier coefficients of a slightly different type. Let $$ f(z)\, = \,\sum\nolimits_{n = 0}^\infty {a(n)q^n } $$ be a holomorphic half integer weight modular form with integer coefficients. If ℓ is prime, then we shall be interested in congruences of the form $$ a(lN)\, \equiv \,0\,\bmod \,l $$ where N is any quadratic residue (resp. non-residue) modulo ℓ. For every prime ℓ > 3 we exhibit a natural holomorphic weight $$ \frac{l} {2}\, + \,1 $$ modular form whose coefficients satisfy the congruence a(ℓN) ≡ 0 mod ℓ for every N satisfying $$ \left( {\frac{{ - N}} {l}} \right)\, = \,1 $$ . This is proved by using the fact that the Fourier coefficients of these forms are essentially the special values of real Dirichlet L—series evaluated at $$ s\, = \,\left( {\frac{{1 - l}} {2}} \right) $$ which are expressed as generalized Bernoulli numbers whose numerators we show are multiples of ℓ. From the works of Carlitz and Leopoldt, one can deduce that the Fourier coefficients of these forms are almost always a multiple of the denominator of suitable Bernoulli numbers. Using these examples as a template, we establish sufficient conditions for which the Fourier coefficients of a half integer weight modular form are almost always divisible by a given positive integer M. We also present two more examples of half-integer weight forms with such congruence properties, whose coefficients are determined by the special values at the center of the critical strip for the quadratic twists of the modular L- functions associated to the modular form Δ of weight 12 and level 1, and to the unique form η 8(z)η8(2z) of weight 8 and level 2. We suggest a conceptual explanation for these congruences by remarking that the twists of the mod p Galois representations (p = 11 and 7 respectively) associated to these two forms are isomorphic to the Galois representations associated to certain elliptic curves of odd analytic rank.
Url:
DOI: 10.1007/978-1-4612-4086-0_5
Affiliations:
- Canada, Hongrie, États-Unis
- Hongrie centrale, New Jersey, Québec
- Budapest, Montréal, Princeton (New Jersey)
- Université McGill, Université de Princeton
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 001F73
- to stream Istex, to step Curation: 001F73
- to stream Istex, to step Checkpoint: 001913
- to stream Main, to step Merge: 001B31
- to stream Main, to step Curation: 001B09
Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Congruences for Fourier coefficients of half-integral weight modular forms and special values of L-functions</title>
<author><name sortKey="Balog, Antal" sort="Balog, Antal" uniqKey="Balog A" first="Antal" last="Balog">Antal Balog</name>
</author>
<author><name sortKey="Darmon, Henri" sort="Darmon, Henri" uniqKey="Darmon H" first="Henri" last="Darmon">Henri Darmon</name>
</author>
<author><name sortKey="Ono, Ken" sort="Ono, Ken" uniqKey="Ono K" first="Ken" last="Ono">Ken Ono</name>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">ISTEX</idno>
<idno type="RBID">ISTEX:9B2BE230F203ABC86C1EB0748AA56B504D328548</idno>
<date when="1996" year="1996">1996</date>
<idno type="doi">10.1007/978-1-4612-4086-0_5</idno>
<idno type="url">https://api.istex.fr/document/9B2BE230F203ABC86C1EB0748AA56B504D328548/fulltext/pdf</idno>
<idno type="wicri:Area/Istex/Corpus">001F73</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">001F73</idno>
<idno type="wicri:Area/Istex/Curation">001F73</idno>
<idno type="wicri:Area/Istex/Checkpoint">001913</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">001913</idno>
<idno type="wicri:Area/Main/Merge">001B31</idno>
<idno type="wicri:Area/Main/Curation">001B09</idno>
<idno type="wicri:Area/Main/Exploration">001B09</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Congruences for Fourier coefficients of half-integral weight modular forms and special values of L-functions</title>
<author><name sortKey="Balog, Antal" sort="Balog, Antal" uniqKey="Balog A" first="Antal" last="Balog">Antal Balog</name>
<affiliation wicri:level="3"><country xml:lang="fr">Hongrie</country>
<wicri:regionArea>Mathematical Institute of the Hungarian Academy of Sciences, P.O. Box 127, 1364, Budapest</wicri:regionArea>
<placeName><settlement type="city">Budapest</settlement>
<region nuts="2">Hongrie centrale</region>
</placeName>
</affiliation>
<affiliation wicri:level="1"><country wicri:rule="url">Hongrie</country>
</affiliation>
</author>
<author><name sortKey="Darmon, Henri" sort="Darmon, Henri" uniqKey="Darmon H" first="Henri" last="Darmon">Henri Darmon</name>
<affiliation wicri:level="4"><country xml:lang="fr">Canada</country>
<wicri:regionArea>Department of Mathematics, McGill University, H3A 2K6, Montréal, PQ</wicri:regionArea>
<orgName type="university">Université McGill</orgName>
<placeName><settlement type="city">Montréal</settlement>
<region type="state">Québec</region>
</placeName>
</affiliation>
<affiliation wicri:level="4"><country xml:lang="fr">États-Unis</country>
<wicri:regionArea>Department of Mathematics, Princeton University, 08540, Princeton, NJ</wicri:regionArea>
<placeName><region type="state">New Jersey</region>
<settlement type="city">Princeton (New Jersey)</settlement>
</placeName>
<orgName type="university">Université de Princeton</orgName>
</affiliation>
<affiliation wicri:level="1"><country wicri:rule="url">États-Unis</country>
</affiliation>
</author>
<author><name sortKey="Ono, Ken" sort="Ono, Ken" uniqKey="Ono K" first="Ken" last="Ono">Ken Ono</name>
<affiliation wicri:level="2"><country xml:lang="fr">États-Unis</country>
<wicri:regionArea>School of Mathematics Institute for Advanced Study, 08540, Princeton, NJ</wicri:regionArea>
<placeName><region type="state">New Jersey</region>
</placeName>
</affiliation>
<affiliation wicri:level="1"><country xml:lang="fr">États-Unis</country>
<wicri:regionArea>Department of Mathematics, Penn State University, 16802, University Park, PN</wicri:regionArea>
<wicri:noRegion>PN</wicri:noRegion>
</affiliation>
<affiliation wicri:level="1"><country wicri:rule="url">États-Unis</country>
</affiliation>
</author>
</analytic>
<monogr></monogr>
<series><title level="s">Progress in Mathematics</title>
<imprint><date>1996</date>
</imprint>
</series>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass></textClass>
<langUsage><language ident="en">en</language>
</langUsage>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">Abstract: Congruences for Fourier coefficients of integer weight modular forms have been the focal point of a number of investigations. In this note we shall exhibit congruences for Fourier coefficients of a slightly different type. Let $$ f(z)\, = \,\sum\nolimits_{n = 0}^\infty {a(n)q^n } $$ be a holomorphic half integer weight modular form with integer coefficients. If ℓ is prime, then we shall be interested in congruences of the form $$ a(lN)\, \equiv \,0\,\bmod \,l $$ where N is any quadratic residue (resp. non-residue) modulo ℓ. For every prime ℓ > 3 we exhibit a natural holomorphic weight $$ \frac{l} {2}\, + \,1 $$ modular form whose coefficients satisfy the congruence a(ℓN) ≡ 0 mod ℓ for every N satisfying $$ \left( {\frac{{ - N}} {l}} \right)\, = \,1 $$ . This is proved by using the fact that the Fourier coefficients of these forms are essentially the special values of real Dirichlet L—series evaluated at $$ s\, = \,\left( {\frac{{1 - l}} {2}} \right) $$ which are expressed as generalized Bernoulli numbers whose numerators we show are multiples of ℓ. From the works of Carlitz and Leopoldt, one can deduce that the Fourier coefficients of these forms are almost always a multiple of the denominator of suitable Bernoulli numbers. Using these examples as a template, we establish sufficient conditions for which the Fourier coefficients of a half integer weight modular form are almost always divisible by a given positive integer M. We also present two more examples of half-integer weight forms with such congruence properties, whose coefficients are determined by the special values at the center of the critical strip for the quadratic twists of the modular L- functions associated to the modular form Δ of weight 12 and level 1, and to the unique form η 8(z)η8(2z) of weight 8 and level 2. We suggest a conceptual explanation for these congruences by remarking that the twists of the mod p Galois representations (p = 11 and 7 respectively) associated to these two forms are isomorphic to the Galois representations associated to certain elliptic curves of odd analytic rank.</div>
</front>
</TEI>
<affiliations><list><country><li>Canada</li>
<li>Hongrie</li>
<li>États-Unis</li>
</country>
<region><li>Hongrie centrale</li>
<li>New Jersey</li>
<li>Québec</li>
</region>
<settlement><li>Budapest</li>
<li>Montréal</li>
<li>Princeton (New Jersey)</li>
</settlement>
<orgName><li>Université McGill</li>
<li>Université de Princeton</li>
</orgName>
</list>
<tree><country name="Hongrie"><region name="Hongrie centrale"><name sortKey="Balog, Antal" sort="Balog, Antal" uniqKey="Balog A" first="Antal" last="Balog">Antal Balog</name>
</region>
<name sortKey="Balog, Antal" sort="Balog, Antal" uniqKey="Balog A" first="Antal" last="Balog">Antal Balog</name>
</country>
<country name="Canada"><region name="Québec"><name sortKey="Darmon, Henri" sort="Darmon, Henri" uniqKey="Darmon H" first="Henri" last="Darmon">Henri Darmon</name>
</region>
</country>
<country name="États-Unis"><region name="New Jersey"><name sortKey="Darmon, Henri" sort="Darmon, Henri" uniqKey="Darmon H" first="Henri" last="Darmon">Henri Darmon</name>
</region>
<name sortKey="Darmon, Henri" sort="Darmon, Henri" uniqKey="Darmon H" first="Henri" last="Darmon">Henri Darmon</name>
<name sortKey="Ono, Ken" sort="Ono, Ken" uniqKey="Ono K" first="Ken" last="Ono">Ken Ono</name>
<name sortKey="Ono, Ken" sort="Ono, Ken" uniqKey="Ono K" first="Ken" last="Ono">Ken Ono</name>
<name sortKey="Ono, Ken" sort="Ono, Ken" uniqKey="Ono K" first="Ken" last="Ono">Ken Ono</name>
</country>
</tree>
</affiliations>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Mathematiques/explor/BourbakiV1/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 001B09 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 001B09 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Mathematiques |area= BourbakiV1 |flux= Main |étape= Exploration |type= RBID |clé= ISTEX:9B2BE230F203ABC86C1EB0748AA56B504D328548 |texte= Congruences for Fourier coefficients of half-integral weight modular forms and special values of L-functions }}
This area was generated with Dilib version V0.6.33. |